Problems on chemical fossils

Comparing inclusion techniques on chemical engineering problems

Solving general nonlinear systems of equations and/or finding the global optimum of nonconvex functions constitute an important part of the everyday practice in chemical engineering. Standard methods cannot provide theoretical guarantee for convergence to a solution, cannot find multiple solutions, and cannot prove non-existence of solutions. This is the main motive to apply interval methods. I...

Protein fossils live on as RNA

A central challenge in genome annotation is determining the function of sequences that do not encode proteins, but make up the overwhelming bulk of large genomes — some 99% in humans. A significant fraction of these sequences are pseudogenes, or fossils of ancient proteins, and although many of them are transcribed into RNA, they have hitherto been deemed ‘junk’. However, given the abundance of...

A Quantitative Reassessment based on Plant Fossils

global results on some nonlinear partial differential equations for direct and inverse problems

در این رساله به بررسی رفتار جواب های رده ای از معادلات دیفرانسیل با مشتقات جزیی در دامنه های کراندار می پردازیم . این معادلات به فرم نیم-خطی و غیر خطی برای مسایل مستقیم و معکوس مورد مطالعه قرار می گیرند . به ویژه، تاثیر شرایط مختلف فیزیکی را در مساله، نظیر وجود موانع و منابع، پراکندگی و چسبندگی در معادلات موج و گرما بررسی می کنیم و به دنبال شرایطی می گردیم که متضمن وجود سراسری یا عدم وجود سراسر...

Termination Problems in Chemical Kinetics

We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computation is decidable, but that termination with any probability strictly greater than zero is undecidable. Moreover, we show that the fairness intrinsic in stochastic computations implies that termination of all computati...